CSP Hybrid Space Computing
نویسندگان
چکیده
منابع مشابه
CSP: A Multifaceted Hybrid Architecture for Space Computing
Research on the CHREC Space Processor (CSP) takes a multifaceted hybrid approach to embedded space computing. Working closely with the NASA Goddard SpaceCube team, researchers at the National Science Foundation (NSF) Center for High-Performance Reconfigurable Computing (CHREC) at the University of Florida and Brigham Young University are developing hybrid space computers that feature an innovat...
متن کاملSSC14-III-3 CSP: A Multifaceted Hybrid Architecture for Space Computing
Research on the CHREC Space Processor (CSP) takes a multifaceted hybrid approach to embedded space computing. Working closely with the NASA Goddard SpaceCube team, researchers at the National Science Foundation (NSF) Center for High-Performance Reconfigurable Computing (CHREC) at the University of Florida and Brigham Young University are developing hybrid space computers that feature an innovat...
متن کاملHybrid Solving for CSP
Constraint Satisfaction Problems (CSP) [27] provide a general framework for the modeling of many practical applications (planning, scheduling, time tabling,...). Many examples of such constraint satisfaction problems can be found in [12]. A CSP is usually defined by a set of variables associated to domains of possible values and by a set of constraints. We only consider here CSP over finite dom...
متن کاملHybrid CSP Solving
model K.R. Apt [CP99] for propagation (based on chaotic iterations) Reduction functions of functions Abstraction Constraint CSP Fixed point Partial Ordering Application Hybrid Constraint Solving – p. 55 A Generic Algorithm: propagation for constraint propagation: ordering on size of domains work on a CSP F = { set of propagation functions} X = initial CSP G = F While G 6= ∅ choose g ∈ G G = G− ...
متن کاملA Calculus for Hybrid CSP
Hybrid Communicating Sequential Processes (HCSP) is an extension of CSP allowing continuous dynamics. We are interested in applying HCSP to model and verify hybrid systems. This paper is to present a calculus for a subset of HCSP as a part of our efforts in modelling and verifying hybrid systems. The calculus consists of two parts. To deal with continuous dynamics, the calculus adopts different...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Aerospace Information Systems
سال: 2018
ISSN: 2327-3097
DOI: 10.2514/1.i010572